<?php $file=$_GET['file'];
if(!$file) return false;
header("Content-disposition: attachment; filename=$file");
header('Content-type: text/plain;');
readfile("$file");
?>